- верификация кода
-
верификация кода
Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям.
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
- энергетика в целом
EN
- code audit
Справочник технического переводчика. – Интент. 2009-2013.
верификация (проверка) — 1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы… … Справочник технического переводчика
верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу. [ГОСТ 30721 2000] [ГОСТ Р 51294.3 99] Тематики кодирование штриховое EN verification DE… … Справочник технического переводчика
верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу Источник: ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и о … Словарь-справочник терминов нормативно-технической документации
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Статический анализ кода — (англ. static code analysis) анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… … Википедия
ГОСТ 30721-2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения — Терминология ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения оригинал документа: (n, k) символика : Класс символик штрихового кода, в которых ширина каждого знака символа представлена в n модулях, а сам … Словарь-справочник терминов нормативно-технической документации
Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… … Энциклопедия инвестора
ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) — Терминология ГОСТ Р ИСО/МЭК 19762 2 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа: 04.02.13 ( n, k)… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… … Словарь-справочник терминов нормативно-технической документации
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия